Contexts: A Formal Definition of Worlds of Assertions
نویسندگان
چکیده
For many years now on-going discussions, not to say endless discussions, about the intrinsic definition of contexts have been at the center stage of every single meeting of the conceptual graph community. It is our opinion that this lack of consensus about contexts is in direct relation to its lack of a formal definition. As a matter of fact, no formal definition of contexts was given up to this moment, not even in John Sowa’s original book. Being a vital issue in conceptual graph theory, this paper addresses the problem of providing formal semantics to the definition of contexts, when used for information packaging. It proposes a definitional framework for contexts, based on formal concept analysis [17], bridging these two research areas. It also presents how querying a knowledge base structured as a lattice of contexts can be done.
منابع مشابه
On epistemic logic with justification
The true belief components of Plato’s tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato’s definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justifi...
متن کاملAssertions in AFA Set Theory
In this paper we consider an application of the theory of non–wellfounded sets to the modelling of epistemic updates triggered by assertions in dialogue. We concentrate mainly on what we might call defective dialogue, i.e. dialogue in epistemic contexts where the speaker has either erroneous beliefs or is not sincere in his language use. We develop our theory within a special possible worlds fr...
متن کاملTraceability Across Refinement Steps in UML Modeling
Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...
متن کاملContext, Content, and Relativism∗
Here is a simple and inviting picture: the semantic values of sentences, relative to contexts, are sets of possible worlds. These are the truth conditions of assertions of those sentences in contexts. They are thus the contents of assertions, or the objects of attitudes we might take towards such contents. There have been many questions raised about the simple picture. For instance, sets of wor...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کامل